首页> 外文OA文献 >PALS-Based Analysis of an Airplane Multirate Control System in Real-Time Maude

【2h】

PALS-Based Analysis of an Airplane Multirate Control System in Real-Time Maude

机译：基于paLs的实时maude飞机多速率控制系统分析

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Kyungmin Bae; Joshua Krisiloff; José Meseguer; Peter Csaba Ölveczky;
展开▼
作者单位

展开▼
年度 2012
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Designing and verifying distributed cyber-physical systems using Multirate PALS: An airplane turning control system case study [J] . Kyungmin Bae, Joshua Krisiloff, Jose Meseguer, Science of Computer Programming . 2015,第juna1期

机译：使用Multirate PALS设计和验证分布式网络物理系统：飞机转弯控制系统案例研究
2. STABILITY EVALUATION OF AN AIRPLANE WITH A DIGITAL MULTIRATE CONTROL SYSTEM IN A LATERAL MOTION [J] . S. G. Bazhenov TsAGI science journal . 2011,第2期

机译：带有数字多重控制系统的飞机横向运动稳定性评估
3. Multirate Digital Control for Fuzzy Systems: LMI-Based Design and Stability Analysis [J] . Do Wan Kim, Jin Bae Park, Young Hoon Joo, International Journal of Control, Automation, and Systems . 2006,第4期

机译：模糊系统的多速率数字控制：基于LMI的设计和稳定性分析
4. Specification and Analysis of Real-Time Systems Using Real-Time Maude [C] . Peter Csaba Oelveczky, Jose Meseguer Fundamental Approaches to Software Engineering . 2004

机译：使用实时Maude的实时系统的规范和分析
5. A systematic method for the analysis and design of multirate control systems. [D] . Chang, Chia Der. 1992

机译：一种用于多速率控制系统分析和设计的系统方法。
6. Design of an Optimal Preview Controller for Linear Discrete-Time Descriptor Noncausal Multirate Systems [O] . Mengjuan Cao, Fucheng Liao -1

机译：线性离散时间非因果多速率系统的最优预览控制器设计
7. PALS-Based Analysis of an Airplane Multirate Control System in Real-Time Maude [O] . Kyungmin Bae, Joshua Krisiloff, José Meseguer, 2012

机译：基于paLs的实时maude飞机多速率控制系统分析

PALS-Based Analysis of an Airplane Multirate Control System in Real-Time Maude

著录项

引文网络

相似文献

相关主题

期刊订阅